Proof by example